- instantiation of variables
- Компьютерная техника: конкретизация переменных
Универсальный англо-русский словарь. Академик.ру. 2011.
instantiation of variables
Смотреть что такое "instantiation of variables" в других словарях:
Instantiation universelle — Instanciation universelle En logique, l instanciation universelle (également appelée Dictum de omni) est une règle d inférence qui permet, à partir d une vérité sur l ensemble des membres d une classe d entités, d inférer une vérité sur une… … Wikipédia en Français
Instantiation — Instance (programmation) Pour les articles homonymes, voir instance. En programmation orientée objet, on appelle instance d une classe, un objet avec un comportement et un état, tous deux définis par la classe. Dans ce contexte, instance est un… … Wikipédia en Français
instantiation — n. act of providing evidence to support a claim, act of supporting with an example; act of producing a more specifically defined object by replacing some variables with values (Computer Programming) … English contemporary dictionary
Substitution of variables — In mathematics, substitution of variables (also called variable substitution or coordinate transformation) refers to the substitution of certain variables with other variables. Though the study of how variable substitutions affect a certain… … Wikipedia
Unificateur — Unification Voir « unification » sur le Wiktionnaire … Wikipédia en Français
Unification — Pour les articles homonymes, voir Unification (homonymie). Le concept d unification est une notion centrale de la logique des prédicats ainsi que d autres systèmes de logique et est sans doute ce qui distingue le plus Prolog des autres langages… … Wikipédia en Français
Unification (logique) — Unification Voir « unification » sur le Wiktionnaire … Wikipédia en Français
Unifié — Unification Voir « unification » sur le Wiktionnaire … Wikipédia en Français
Constraint learning — In constraint satisfaction backtracking algorithms, constraint learning is a technique for improving efficiency. It works by recording new constraints whenever an inconsistency is found. This new constraint may reduce the search space, as future… … Wikipedia
C++0x — is the planned new standard for the C++ programming language. It is intended to replace the existing C++ standard, ISO/IEC 14882, which was published in 1998 and updated in 2003. These predecessors are informally known as C++98 and C++03. The new … Wikipedia
Objective-C — Paradigm(s) reflective, object oriented Appeared in 1983 Designed by Tom Love Brad Cox Developer Apple Inc. Typing discipline … Wikipedia
